Natural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
نویسندگان
چکیده
The main contribution of this paper is the construction of a strong duality for the varieties generated by a set of subalgebras of a semi-primal algebra. We also obtain an axiomatization of the objects of the dual category and develop some algebraic consequences (description of the dual of the finite structures and algebras, construction of finitely generated free algebras,. . . ). Eventually, we illustrate this work for the finitely generated varieties of MV-algebras.
منابع مشابه
Algebra Universalis Automorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. The proof is a nice application of the theory of natural dualities as developed by Davey et al.
متن کاملRough ideals based on ideal determined varieties
The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...
متن کاملLattice of subalgebras in the finitely generated varieties of MV-algebras
In this paper, we use the theory of natural duality to study subalgebra lattices in the finitely generated varieties of MV-algebras. With this tool, we obtain the dual atomicity of these lattices, and characterize the members of these varieties in which every subalgebra is an intersection of maximal subalgebras. Then, we determine the algebras that have a modular or distributive lattice of suba...
متن کاملAutomorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. In [2] we discussed the notions of verbal and fully invariant congruences and examined the rela...
متن کاملCategorical Equivalence of Algebras with a Majority Term
Let A be a finite algebra with a majority term. We characterize those algebras categorically equivalent to A. The description is in terms of a derived structure with universe consisting of all subalgebras of A × A, and with operations of composition, converse and intersection. The main theorem is used to get a different sort of characterization of categorical equivalence for algebras generating...
متن کامل